La segmentation des écrits d’élèves à l’école et au collège : quel rôle pour la phrase ?

Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis

This document presents different tools to represent and manipulate infinitsets of tree tuples called tree tuple languages. We choose logic programming as formalismto describe tree tuple languages (i.e relations) and logic program transformation techniquesfor computing operations on them. In a first step we study a class of relation closed underusual sets operations, the class of...

Contributions à la résolution des WCSP et approches déclaratives pour la fouille de données

We introduce skypattern cubes and propose an efficient bottom-up approach to compute them. Our approach relies on derivation rules collecting skypatterns of a parent node from its child nodes without any dominance test. Non-derivable skypatterns are computed on the fly thanks to Dynamic CSP. The bottom-up principle enables to provide a concise representation of the cube based on skypattern equi...

Le Web 2.0 et les Musées des Sciences: Quel Accès à la Culture Scientifique?

In a context of increase in content and actors on the Internet, museum’s websites are publishing resources for diffusion of arts and sciences, but also for their promotion and for communication. The option to limit interactivity is taken to provide verified data, included in a slow temporality compared to the temporality of the Internet and more recently of the web 2.0, but this is made without...

Rôle de la matrice d'information et pondération des composantes dans les noyaux de Fisher pour PLSI

RÉSUMÉ. Des similarités entre documents à base de catégories sémantiques latentes et de noyaux de Fisher ont été proposées pour la première fois il y a dix ans par T. Hofmann dans le contexte du “Probabilistic Latent Semantic Indexing”, puis étendues par Nyffenegger et al. (2006). Le présent article présente une étude approfondie et une révision de ces modèles par (1) une description unifiée et...

Supervision de trac au niveau applicatif : application à la sécurit é et à l'ingénierie des réseaux